A Metamodel-Based OCL-Compiler for UML and MOF

After becoming part of the UML standard, OCL has been applied successfully in various domains. As a result, requirements to be met by future versions of OCL have evolved. A key requirement is to provide means for the formal integration of OCL and UML. Therefore, the latest proposal for a revised specification of OCL contains a metamodel defining the language concepts and semantics. Based on this metamodel, we are currently redesigning the Dresden OCL Toolkit. Apart from basic functionality for processing OCL expressions, the toolkit is designed to support the evaluation of well-formedness rules defined on both models and metamodels. In this paper, we introduce the revised architecture of the toolkit. The alignment of OCL with UML and MOF is discussed and several concepts for the explicit modelling of dependencies between these metamodels are presented. Finally, we prove the adequacy of our design by presenting a code generator for the evaluation of well-formedness rules.